Imperative programming - PDFSEARCH.IO - Document Search Engine

Imperative programming
Results: 88

#	Item
41	Motivation The operations and control structures of imperative languages are strongly influenced by the way most real computer hardware works. This makes imperative languages relatively easy to compile, but (arguably) le Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-21 06:00:00 Procedural programming languages Evaluation strategy Eval ALGOL 68 Conditional Function Parameter Lazy evaluation Lambda calculus Software engineering Computing Computer programming
42	Statement of Purpose Marie-Christine R. Chevalier I fell in love with programming on the second day of my first computer science class. I remember the moment distinctly. The professor was demonstrating a program to draw Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 17:01:43 Programming paradigms Deforestation Functional programming Programming language Haskell Glasgow Haskell Compiler Imperative programming Type inference Algorithm Software engineering Computing Computer programming
43	22 Developing applications with Objective Caml Having reached this point, the reader should no longer doubt the richness of Objective Caml. This language rests on a functional and imperative core, and it integrates the t Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages OCaml Caml ML Functional programming Preprocessor Coq Strong typing Haskell Software engineering Computing Computer programming
44	Formal Veri ation of a Memory Model for C -Like Imperative Languages Sandrine Blazy and Xavier Leroy INRIA Ro quen ourt[removed]Le Chesnay edex, Fran e Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2005-10-31 04:04:01 Mereology Predicate logic Cell Pointer Memory C Computing Software engineering Computer programming
45	On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006 Add to Reading List Source URL: lemma-one.com Language: English - Date: 2006-12-10 08:21:16 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
46	Functional Objects Matthias Felleisen PLT Northeastern University The Myth Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-06-17 05:40:23 Computing Programming paradigms Object Imperative programming OO Matthias Felleisen Immutable object Software engineering Object-oriented programming Computer programming
47	15 Object-Oriented Programming As you may have guessed from the name, Objective Caml supports object-oriented programming. Unlike imperative programming, in which execution is driven by explicit sequencing of operations, Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Object-oriented programming Data types Type theory Immutable object Constructor C++ classes Objective-C Type system Generic programming Software engineering Computing Computer programming
48	Programming the SQL Way with Common Table Expressions Add to Reading List Source URL: momjian.us Language: English - Date: 2014-12-06 10:08:29 Relational database management systems Programming paradigms Common table expression Declarative programming Imperative programming PL/Perl Select K Data Definition Language Data management Computing SQL
49	9 Garbage Collection The execution model of a program on a microprocessor corresponds to that of imperative programming. More precisely, a program is a series of instructions whose execution modifies the memory state of Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Computer programming Software bugs Data types Primitive types Automatic memory management Garbage collection C dynamic memory allocation C Pointer Computing Software engineering Memory management
50	4 Functional and Imperative Styles Functional and imperative programming languages are primarily distinguished by the control over program execution and the data memory management. • Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Procedural programming languages Subroutines OCaml Caml Functional programming Main function Recursion Pure Software engineering Computer programming Computing